(define t0 'a)
(define t1 'id)
(define t2 '())
